updateTabScroller(); } } else { super.onBrowserEvent(event); } }
return; } } super.onBrowserEvent(event); } /**